A Computational Model for Declarative Recognition and Imperative Action

Sita is a novel agent language for modeling intelligent behaviour in dynamic environments. The central modeling principle is the distinction of recognition and action as the two complementary basic skills essential for situated behaviour. The underlying computational model combines an incremental bottom-up logic programming mechanism with a concurrent process calculus. This principle allows the clear separation and natural description of declarative knowledge about situations and procedural knowledge about acting.